Une catégorie exacte, parfois dite exacte « au sens de Quillen » pour distinguer des (exactes « au sens de ») et des catégories abéliennes (exactes « au sens de »), est une catégorie englobant et généralisant la notion de suite exacte et de foncteur exact.